A:. (A  False)  A 

latex

Up	core 2, core 2
Definitions	t  T, P  Q, P  Q, P & Q, P  Q, P  Q, , x:A. B(x), False
Lemmas	false wf